Automata and Computability: A Programmer's Perspective
by Ganesh Gopalakrishnan
ISBN 13: 9781138552425
Format: Hardcover (348 pages) Publisher: Chapman and Hall/CRC Published: 28 Feb 2019
Save for later
Specification and Analysis of Discrete Systems:: A Programmer’s Perspective
ISBN 13: 9781138556669
Format: Hardcover (400 pages) Publisher: Chapman and Hall/CRC Published: 22 Sep 2019
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings: 1522 (Lecture Notes in Computer Science)
by Phillip Windley,Ganesh Gopalakrishnan
ISBN 13: 9783540651918
Format: Paperback (548 pages) Publisher: Springer Published: 13 Jun 2008